home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import javax.swing.text.MutableAttributeSet;
- import javax.swing.text.html.CSS.Attribute;
- import javax.swing.text.html.HTML.Tag;
-
- public class HTMLDocument$HTMLReader$PreAction extends HTMLDocument.HTMLReader.BlockAction {
- // $FF: synthetic field
- private final HTMLDocument.HTMLReader this$1;
-
- public HTMLDocument$HTMLReader$PreAction(HTMLDocument.HTMLReader var1) {
- super(var1);
- this.this$1 = var1;
- }
-
- public void end(HTML.Tag var1) {
- this.this$1.blockClose(Tag.IMPLIED);
- this.this$1.inPre = false;
- this.this$1.blockClose(var1);
- }
-
- public void start(HTML.Tag var1, MutableAttributeSet var2) {
- this.this$1.inPre = true;
- this.this$1.blockOpen(var1, var2);
- var2.addAttribute(Attribute.WHITE_SPACE, "pre");
- this.this$1.blockOpen(Tag.IMPLIED, var2);
- }
- }
-